| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 505292 | ||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 508371 | ||
| Vorlesung | 508160 | Mo 12:30-14:00 AH II (2350|111) (×13) Mi 12:30-14:00 AH I (2350|028) (×11) | |||
| Übung | 508159 | Do 16:30-18:00 IV (1010|141) (×10) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 504867 | ||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 502947 | ||
| Vorlesung | 499722 | Mo 10:30-12:00 5056 (2356|056) (×12) Do 10:30-12:00 5056 (2356|056) (×8) | |||
| Übung | 500485 | Mo 16:30-18:00 5052 (2356|052) (×11) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 505424 | ||
| Höhere Algorithmik | Fach-/Modulprüfung | 6 | 503468 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 502151 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 521255 | ||
| Vorlesung | 520908 | Mo 12:30-14:00 AH III (2350|314.1) (×14) Fr 14:30-16:00 AH III (2350|314.1) (×9) | |||
| Übung | 520909 | Do 14:30-16:00 AH III (2350|314.1) (×10) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 502629 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 504842 | ||
| Vorlesung/Übung | 508421 | Di 12:30-14:00 AH II (2350|111) (×12) Fr 10:30-12:00 AH III (2350|314.1) (×12) | |||
| Near-term Quantum Computation | Fach-/Modulprüfung | 6 | 521256 | ||
| Vorlesung | 521236 | Di 08:30-10:30 5056 (2356|056) (×13) Do 08:30-09:15 R 140 (1080|140) (×10) Do 08:30-09:15 R 5 (1080|005) (×1) | |||
| Übung | 521237 | Do 09:15-10:00 R 140 (1080|140) (×10) Do 09:15-10:00 R 5 (1080|005) (×1) | |||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 501993 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 502019 | ||
| Vorlesung | 508289 | Mo 10:30-12:00 AH III (2350|314.1) (×8) Di 12:30-14:00 AH V (2356|050) (×7) Mi 16:30-18:00 AH III (2350|314.1) (×2) Fr 10:30-12:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH II (2350|111) (×1) | |||
| Übung | 508290 | Di 12:30-14:00 AH V (2356|050) (×2) Mi 16:30-18:00 AH III (2350|314.1) (×7) | |||
| Quantum Computing | Fach-/Modulprüfung | 4 | 502153 | ||
| Rekursionstheorie | Fach-/Modulprüfung | 6 | 502497 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 504774 | ||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 501813 | ||
| Vorlesung | 508294 | Mo 10:30-12:00 AH II (2350|111) (×9) Di 10:30-12:00 AH II (2350|111) (×11) | |||
| Übung | 508293 | Fr 10:30-12:00 AH II (2350|111) (×8) | |||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 503291 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 504758 |